Sfoglia per Serie LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Considering temporal preferences and probabilities in guideline interaction analysis
2019-01-01 Terenziani, P.; Andolina, A.
Deconfined Global Types for Asynchronous Sessions
2021-01-01 Dagnino, F.; Giannini, P.; Dezani-Ciancaglini, M.
Deep Learning for Haemodialysis Time Series Classification
2019-01-01 Leonardi, G.; Montani, S.; Striani, M.
Efficient Construction of a Complete Index for Pan-Genomics Read Alignment
2019-01-01 Kuhnle, A.; Mun, T.; Boucher, C.; Gagie, T.; Langmead, B.; Manzini, G.
Extending ALC with the Power-Set Construct
2019-01-01 Giordano, L.; Policriti, A.
From semantically abstracted traces to process mining and process model comparison
2018-01-01 Leonardi, G.; Striani, M.; Quaglini, S.; Cavallini, A.; Montani, S
Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter
2021-01-01 Satoh, K.; Giordano, L.; Baldoni, M.
Inducing the Lyndon Array
2019-01-01 Louza, F. A.; Mantaci, S.; Manzini, G.; Sciortino, M.; Telles, G. P.
Linguistic aspects of nonlinguistic contexts
2019-01-01 Benzi, Margherita; Penco, Carlo
META-GLARE: A Meta-Engine for Executing Computer Interpretable Guidelines
2015-01-01 Bottrighi, Alessio; Rubrichi, Stefania; Terenziani, Paolo
A Multi-engine Theorem Prover for a Description Logic of Typicality
2015-01-01 Giordano, Laura; Valentina, Gliozzi; Nicola, Olivetti; Gian Luca, Pozzato; Luca, Violanti
Multiple sclerosis disease: A computational approach for investigating its drug interactions
2020-01-01 Pernice, S.; Beccuti, M.; Romano, G.; Pennisi, M.; Maglione, A.; Cutrupi, S.; Pappalardo, F.; Capra, L.; Franceschinis, G.; De Pierro, M.; Balbo, G.; Cordero, F.; Calogero, R.
On the KLM Properties of a Fuzzy DL with Typicality
2021-01-01 Giordano, L.
A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations
2021-01-01 Beccuti, M.; Castagno, P.; Franceschinis, G.; Pennisi, M.; Pernice, S.
Practical Random Access to SLP-Compressed Texts
2020-01-01 Gagie, T.; I, T.; Manzini, G.; Navarro, G.; Sakamoto, H.; Seelbach Benkner, L.; Takabatake, Y.
Reasoning about exceptions in ontologies: an approximation of the multipreference semantics
2019-01-01 Giordano, Laura; Gliozzi, Valentina
Rpair: Rescaling RePair with Rsync
2019-01-01 Gagie, T.; I, T.; Manzini, G.; Navarro, G.; Sakamoto, H.; Takabatake, Y.
Space-Efficient Merging of Succinct de Bruijn Graphs
2019-01-01 Egidi, L.; Louza, F. A.; Manzini, G.
Supporting Physicians and Patients Through Recommendation: Guidelines and Beyond
2015-01-01 Anselma, Luca; Bottrighi, Alessio; Hommersom, Arjen; Terenziani, Paolo; Hunter, Anthony
Temporal Reasoning with Layered Preferences
2018-01-01 Anselma, Luca; Alessandro, Mazzei; Piovesan, Luca; Terenziani, Paolo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Considering temporal preferences and probabilities in guideline interaction analysis | 1-gen-2019 | Terenziani, P.; Andolina, A. | |
Deconfined Global Types for Asynchronous Sessions | 1-gen-2021 | Dagnino, F.; Giannini, P.; Dezani-Ciancaglini, M. | |
Deep Learning for Haemodialysis Time Series Classification | 1-gen-2019 | Leonardi, G.; Montani, S.; Striani, M. | |
Efficient Construction of a Complete Index for Pan-Genomics Read Alignment | 1-gen-2019 | Kuhnle, A.; Mun, T.; Boucher, C.; Gagie, T.; Langmead, B.; Manzini, G. | |
Extending ALC with the Power-Set Construct | 1-gen-2019 | Giordano, L.; Policriti, A. | |
From semantically abstracted traces to process mining and process model comparison | 1-gen-2018 | Leonardi, G.; Striani, M.; Quaglini, S.; Cavallini, A.; Montani, S | |
Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter | 1-gen-2021 | Satoh, K.; Giordano, L.; Baldoni, M. | |
Inducing the Lyndon Array | 1-gen-2019 | Louza, F. A.; Mantaci, S.; Manzini, G.; Sciortino, M.; Telles, G. P. | |
Linguistic aspects of nonlinguistic contexts | 1-gen-2019 | Benzi, Margherita; Penco, Carlo | |
META-GLARE: A Meta-Engine for Executing Computer Interpretable Guidelines | 1-gen-2015 | Bottrighi, Alessio; Rubrichi, Stefania; Terenziani, Paolo | |
A Multi-engine Theorem Prover for a Description Logic of Typicality | 1-gen-2015 | Giordano, Laura; Valentina, Gliozzi; Nicola, Olivetti; Gian Luca, Pozzato; Luca, Violanti | |
Multiple sclerosis disease: A computational approach for investigating its drug interactions | 1-gen-2020 | Pernice, S.; Beccuti, M.; Romano, G.; Pennisi, M.; Maglione, A.; Cutrupi, S.; Pappalardo, F.; Capra, L.; Franceschinis, G.; De Pierro, M.; Balbo, G.; Cordero, F.; Calogero, R. | |
On the KLM Properties of a Fuzzy DL with Typicality | 1-gen-2021 | Giordano, L. | |
A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations | 1-gen-2021 | Beccuti, M.; Castagno, P.; Franceschinis, G.; Pennisi, M.; Pernice, S. | |
Practical Random Access to SLP-Compressed Texts | 1-gen-2020 | Gagie, T.; I, T.; Manzini, G.; Navarro, G.; Sakamoto, H.; Seelbach Benkner, L.; Takabatake, Y. | |
Reasoning about exceptions in ontologies: an approximation of the multipreference semantics | 1-gen-2019 | Giordano, Laura; Gliozzi, Valentina | |
Rpair: Rescaling RePair with Rsync | 1-gen-2019 | Gagie, T.; I, T.; Manzini, G.; Navarro, G.; Sakamoto, H.; Takabatake, Y. | |
Space-Efficient Merging of Succinct de Bruijn Graphs | 1-gen-2019 | Egidi, L.; Louza, F. A.; Manzini, G. | |
Supporting Physicians and Patients Through Recommendation: Guidelines and Beyond | 1-gen-2015 | Anselma, Luca; Bottrighi, Alessio; Hommersom, Arjen; Terenziani, Paolo; Hunter, Anthony | |
Temporal Reasoning with Layered Preferences | 1-gen-2018 | Anselma, Luca; Alessandro, Mazzei; Piovesan, Luca; Terenziani, Paolo |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile